module ThreadId(ThreadId, zero, next) where


data ThreadId = ThreadId Integer deriving (Eq, Ord)


instance Show ThreadId where
    show (ThreadId id) = "TID" ++ show id


zero :: ThreadId
----------------
zero = ThreadId 0


next :: ThreadId -> ThreadId
----------------------------
next (ThreadId id) = ThreadId (id + 1)
